901. Verification:
المؤلف: edited by Nachum Dershowitz.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer science.,Logic design.,Software engineering.
رده :
QA76
.
76
.
V47
E358
2004
902. Verification of Sequential and Concurrent Programs
المؤلف: by Krzysztof R. Apt, Ernst-Rüdiger Olderog.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer science.,Logic design.
رده :
QA76
.
76
.
V47
B957
1997
903. Verifying Concurrent Processes Using Temporal Logic
المؤلف: by Brent T. Hailpern.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer Science,Computer science.,Logic design.
904. Verilog HDL :
المؤلف: by Joseph Cavanagh.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Digital electronics.,Logic circuits -- Computer-aided design.,Verilog (Computer hardware description language)
رده :
TK7868
.
D5
B956
2007
905. Verilog HDL: digital design and modeling
المؤلف: Cavanagh, Joseph J. F.
المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: ، Digital electronics,Computer-aided design ، Logic circuits,، Verilog )Computer hardware description language(
رده :
TK
7868
.
D5
C395
2007
906. Verilog HDL synthesis
المؤلف: / J. Bhasker
المکتبة: مكتبة ومركز معلومات جامعة الإمام الرضا العالمية (خراسان رضوی)
موضوع: Verilog (Computer hardware description language),Logic design - Data processing
رده :
TK7885
.
7
.
B528
907. Verilog HDL synthesis :a practical primer
المؤلف: Bhasker, Jayaram.
المکتبة: کتابخانه مرکز پژوهش متالورژی رازی (طهران)
موضوع: ، Verilog )Computer hardware description language(,Data processing ، Logic design
رده :
TK
7885
.
7
.
B5284
1998
908. Verilog coding for logic synthesis
المؤلف: / Weng Fook Lee
المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع: Digital electronics,Logic circuits- Computer-aided design,Verilog (Computer hardware description language)
رده :
E-BOOK
909. Verilog coding for logic synthesis
المؤلف: / Weng Fook Lee
المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)
موضوع: Digital electronics,Logic circuits- Computer-aided design,Verilog (Computer hardware description language)
رده :
TK7868
.
D5
,
L42
2003
910. Verilog coding for logic synthesis
المؤلف: / weng fook LEE
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: digital electronics,Logic circuits-computer-aided design
رده :
TK7868
.
D5
,
L45
2003
911. Verilog coding for logic synthesis
المؤلف: Lee, Weng Fook.
المکتبة: کتابخانه مرکزی دانشگاه صنعتی همدان (همدان)
موضوع: ، Digital electronics,Computer-aided design ، Logic circuits,، Verilog )Computer hardware description language(
رده :
TK
7868
.
D5
L42
912. Web Services and Formal Methods :
المؤلف: edited by Maurice H. Beek, Niels Lohmann.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer science.,Logic design.,Software engineering.
913. based logic synthesis-Memory
المؤلف:
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Logic circuits. ; Field programmable gate arrays ; Design and construction. ; Semiconductor storage devices. ;
914. cmos/TT digital systems design
المؤلف: james E.buchanan draming sbybert D.buchanan .
المکتبة: (کرمان)
موضوع: metal oxide semicondactors , complematary designand constraction,transistor transistor logic circuits - design and constraction,Bipolar integrated circuits - design and constraction
رده :
TK
7871
.
99
.
M44
,
B83
915. cmos/TT digital systems design
المؤلف: james E.buchanan draming sbybert D.buchanan .
المکتبة: (کرمان)
موضوع: metal oxide semicondactors , complematary designand constraction,transistor transistor logic circuits - design and constraction,Bipolar integrated circuits - design and constraction
رده :
TK
7871
.
99
.
M44
,
B83
916. digital signals
المؤلف: / S. L. Hurst
المکتبة: المكتبة المركزية لجامعة إيلام (إیلام)
موضوع: Electronic digital computers, Design and construction,Logic circuits,Logic design,Switching theory
رده :
TK7888
.
3
.
P7D5
2008
917. high -performance system design
المؤلف:
المکتبة: مكتبات الكلية التقنية بجامعة طهران (طهران)
موضوع: Metal oxide semiconductors, Complementary,Logic circuits,Low voltgage integrated circuits--Design and construction--Data processing,High performance processing
رده :
TK
7871
.
99
.
M44O37
1999
918. modern digital design
المؤلف: Richards . sandige
المکتبة: (کرمان)
موضوع: logic circiats - design and constraction,logic design
رده :
TK
7868
.
L6
,
S26
919. modern digital design
المؤلف: Richards . sandige
المکتبة: (کرمان)
موضوع: logic circiats - design and constraction,logic design
رده :
TK
7868
.
L6
,
S26
